The supercover of an m-flat is a discrete analytical object
نویسنده
چکیده
The aim of this paper is to show that the supercover of an m-flat (i.e. a Euclidean affine subspace of dimension m) in Euclidean n-space is a discrete analytical object. The supercover of a Euclidean object F is a discrete object consisting of all the voxels that intersect F . A discrete analytical object is a set of discrete points that is defined by a finite set of inequalities. A method to determine the inequalities defining the supercover of an m-flat is provided.
منابع مشابه
Discrete linear objects in dimension n: the standard model
A new analytical description model, called the standard model, for the discretization of Euclidean linear objects (point, m-flat, m-simplex) in dimension n is proposed. The objects are defined analytically by inequalities. This allows a global definition independent of the number of discrete points. A method is provided to compute the analytical description for a given linear object. A discrete...
متن کاملAnalytical Prediction of Indentation and Low-Velocity Impact Responses of Fully Backed Composite Sandwich Plates
In this paper, static indentation and low velocity impact responses of a fully backed composite sandwich plate subjected to a rigid flat-ended cylindrical indenter/impactor are analytically investigated. The analysis is nonlinear due to nonlinear strain-displacement relation. In contrast to the existed analytical models for the indentation of composite sandwich plates, the stacking sequence of ...
متن کاملAnalytical Solution of The Laminar Boundary Layer Flow over Semi-Infinite Flat Plate: Variable Surface Temperature
In this paper, the problem of forced convection over a horizontal flat plate under condition of variable plate temperature is presented and the homotopy perturbation method (HPM) is employed to compute an approximation to the solution of the system of nonlinear differential equations governing the problem. This paper provides good supplements to the existing literature and generalizes the previ...
متن کاملDiscretization in 2D and 3D Orders
Among the different discretization schemes that have been proposed and studied in the literature, the supercover is a very natural one, and furthermore presents some interesting properties. On the other hand, an important structural property does not hold for the supercover in the classical framework: the supercover of a straight line (resp. a plane) is not a discrete curve (resp. surface) in g...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 406 شماره
صفحات -
تاریخ انتشار 2008